On a Relative MaxSAT Encoding for the Steiner Tree Problem in Graphs
نویسندگان
چکیده
In [1] it was presented some MaxSAT encodings for trees in graphs which can be used to solve the Steiner Tree Problem. In this paper we focus exclusively on the relative encoding which was called Parental-based. We review this encoding and improve it by applying two techniques. One of them is a known improvement to encode transitivity, previously used for other relative encodings. The other one consists on deducing unit clauses from the dominance relation of the given graph. Finally, we use the improved encodings to solve relevant instances, and present experimental results.
منابع مشابه
Solving a tri-objective convergent product network using the Steiner tree
Considering convergent product as an important manufacturing technology for digital products, we integrate functions and sub-functions using a comprehensive fuzzy mathematical optimization process. To form the convergent product, a web-based fuzzy network is considered in which a collection of base functions and sub-functions configure the nodes and each arc in the network is to be a link betwe...
متن کاملPrize-Collecting Steiner Tree and Forest in Planar Graphs
We obtain polynomial-time approximation-preserving reductions (up to a factor of 1+ε) from the prizecollecting Steiner tree and prize-collecting Steiner forest problems in planar graphs to the corresponding problems in graphs of bounded treewidth. We also give an exact algorithm for the prize-collecting Steiner tree problem that runs in polynomial time for graphs of bounded treewidth. This, com...
متن کاملComputing a Tree Having a Small Vertex Cover
We consider a new Steiner tree problem, called vertex-cover-weighted Steiner tree problem. This problem defines the weight of a Steiner tree as the minimum weight of vertex covers in the tree, and seeks a minimum-weight Steiner tree in a given vertex-weighted undirected graph. Since it is included by the Steiner tree activation problem, the problem admits an O(logn)-approximation algorithm in g...
متن کاملConcatenation - Based Greedy Heuristics for the Euclidean
We present a class of O(n log n) heuristics for the Steiner tree problem in the Euclidean plane. These heuristics identify a small number of subsets with few, geometrically close, terminals using minimum spanning trees and other well-known structures from computational geometry: De-launay triangulations, Gabriel graphs, relative neighbourhood graphs, and higher-order Voronoi diagrams. Full Stei...
متن کامل1.757 and 1.267 - Approximation Algorithms for the Network and Rectilinear Steiner Tree Problems
The Steiner tree problem requires to nd a shortest tree connecting a given set of terminal points in a metric space. We suggest a better and fast heuristic for the Steiner problem in graphs and in rectilinear plane. This heuristic nds a Steiner tree at most 1.757 and 1.267 times longer than the optimal solution in graphs and rectilinear plane, respectively.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2015